(cl-text Constraint1
(cl-comment "Constraint1
			reception and (operation or value - public) are incompatibles (according the proposed approach)")
(forall (c)   
	(if 
		(buml:Class c)	
		(not (and 
			(exists (r) 
				(form:owned-reception-general c r))
			(or
				(exists(a)
					    (form:owned-attribute-general-visible c a))
				(exists(o)
					    (form:owned-operation-general-visible c o))		
			)))
	)
)			
)

(cl-text Constraint4
(cl-comment "Constraint4
			[4] all connectors must have two ends")
(forall (c)
		(if 
			(cbuml:Connector c)
			(form:end-size c form:2)
			)
		)
)